Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 11 of 11 (0.034 secs)
You searched for: subject:"Sriram Rajamani"
[movies]Microsoft Research Video 143443: TechVista 2010 - Sriram Rajamani - Microsoft Research
Sriram Rajamani presents his thoughts on "Verification, Testing and Statistics" at TechVista 2010.©2010 Microsoft Corporation. All rights reserved.
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani
Downloads: 7
[movies]Microsoft Research Video 104666: Mathematical Analysis of Programs - Microsoft Research
Numerical programs are imperative programs over integer and real quantities. Such programs are ubiquitous. Common examples include scientific and systems programs, models of control systems such as timed and hybrid automata, and models of biological systems such as biochemical reaction mechanisms and gene regulatory networks. Static analyses of these programs automatically infer properties about the systems' runtime behaviours, for example, the reachability of a target set of states, deadlock fr...
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani; Sriram Sankaranarayanan
Downloads: 9
[movies]Microsoft Research Video 104792: Transition Invariants - Microsoft Research
Proof rules for the temporal verification of concurrent programs rely on auxiliary assertions. We propose a (sound and relatively complete) proof rule whose auxiliary assertions are transition invariants. A transition invariant of a program is a binary relation over program states that contains the transitive closure of the transition relation of the program. A transition invariant is disjunctively well-founded if it is a finite union of well-founded relations...
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani; Andrey Rybalchenko
Downloads: 19
[movies]Microsoft Research Video 104637: Model Checking of Predicate Abstracted Programs without BDDs - Microsoft Research
In recent years, software model checking has been offered as a viable solution to the 'bug hunt' in software. Although only in its infancy, software model checking has shown promise in tackling this very difficult problem. In this talk, emphasis will be placed on the model checking within the verification process, whereby the abstracted Boolean program (modeled as a finite transition system) undergoes scrutiny...
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani; Michael Hsiao
Downloads: 11
[movies]Microsoft Research Video 104604: Modeling and Analysis of Access Control Survivability - Microsoft Research
In traditional models of access control systems, the emphasis is on validating security as safety properties, defined over state-transition graphs that represent system behavior. The goal of access control analysis in this context is to assert that all states reachable from known safe states using valid transitions are also safe, where any integrity, confidentiality, or availability policies are not violated...
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani; Prasad Naldurg
Downloads: 12
[movies]Microsoft Research Video 104677: Model drive development of enterprise applications - Microsoft Research
Modern enterprises critically depend on a large number of business applications that need to interact with each other. These applications typically have a long life during which they need to cope with changes in business requirements and advances in the technology platforms. These applications typically do not use complex algorithms and data structures but are large in size - typically millions of lines of code – and essentially data-centric in nature having to support multiple views in a cons...
Keywords: Microsoft Research; Microsoft Research Video Archive; Sriram Rajamani; Vinay Kulkarni; Sreedhar Reddy
Downloads: 9
[audio]Microsoft Research Audio 104677: Model drive development of enterprise applications - Microsoft Research
Modern enterprises critically depend on a large number of business applications that need to interact with each other. These applications typically have a long life during which they need to cope with changes in business requirements and advances in the technology platforms. These applications typically do not use complex algorithms and data structures but are large in size - typically millions of lines of code – and essentially data-centric in nature having to support multiple views in a cons...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Sriram Rajamani; Vinay Kulkarni; Sreedhar Reddy
Downloads: 3
[audio]Microsoft Research Audio 104604: Modeling and Analysis of Access Control Survivability - Microsoft Research
In traditional models of access control systems, the emphasis is on validating security as safety properties, defined over state-transition graphs that represent system behavior. The goal of access control analysis in this context is to assert that all states reachable from known safe states using valid transitions are also safe, where any integrity, confidentiality, or availability policies are not violated...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Sriram Rajamani; Prasad Naldurg
Downloads: 2
[audio]Microsoft Research Audio 104637: Model Checking of Predicate Abstracted Programs without BDDs - Microsoft Research
In recent years, software model checking has been offered as a viable solution to the 'bug hunt' in software. Although only in its infancy, software model checking has shown promise in tackling this very difficult problem. In this talk, emphasis will be placed on the model checking within the verification process, whereby the abstracted Boolean program (modeled as a finite transition system) undergoes scrutiny...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Sriram Rajamani; Michael Hsiao
[audio]Microsoft Research Audio 104792: Transition Invariants - Microsoft Research
Proof rules for the temporal verification of concurrent programs rely on auxiliary assertions. We propose a (sound and relatively complete) proof rule whose auxiliary assertions are transition invariants. A transition invariant of a program is a binary relation over program states that contains the transitive closure of the transition relation of the program. A transition invariant is disjunctively well-founded if it is a finite union of well-founded relations...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Sriram Rajamani; Andrey Rybalchenko
Downloads: 3
[audio]Microsoft Research Audio 104666: Mathematical Analysis of Programs - Microsoft Research
Numerical programs are imperative programs over integer and real quantities. Such programs are ubiquitous. Common examples include scientific and systems programs, models of control systems such as timed and hybrid automata, and models of biological systems such as biochemical reaction mechanisms and gene regulatory networks. Static analyses of these programs automatically infer properties about the systems' runtime behaviours, for example, the reachability of a target set of states, deadlock fr...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Sriram Rajamani; Sriram Sankaranarayanan
Downloads: 2
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Microsoft Research

Related mediatypes

movies
audio

Terms of Use (10 Mar 2001)